منابع مشابه
Self-organized Middle-Out Abstraction
In this position paper we present a concept to automatically simplify computational processes in large-scale self-organizing multi-agent simulations. The fundamental idea is that groups of agents that exhibit predictable interaction patterns are temporarily subsumed by higher order agents with behaviours of lower computational costs. In this manner, hierarchies of meta-agents automatically abst...
متن کاملSelf-organized middle-out abstraction of complexity
Today, the inherent complexity of many man-made or naturally occurring challenges—such as understanding the influence of human interference in ecosystems or interacting biological processes—is widely acknowledged. The ubiquitous networking paradigm has highlighted the elaborate webs of interactions and interdependencies between living beings, objects and processes. Yet we still lack an algorith...
متن کاملReducing Manual Abstraction in Formal Verification of Out-of-Order Execution
Several methods have recently been proposed for verifying processors with out-of-order execution. These methods use intermediate abstractions to decompose the verification process into smaller steps. Unfortunately, the process of manually creating intermediate abstractions is very laborious. We present an approach that dramatically reduces the need for an intermediate abstraction, so that only ...
متن کاملthe plotinus’ abstraction theology
the article presents explanation and analysis of plotinus’ abstraction theology. in this theology he tries to get negative knowledge of the god. the meaning of the negation is neither of pure negation or privation but it is based on abstraction which purifies and abstracts one concept from else to attain the exact and true meaning of it. accordingly, this method of theology is the same as the r...
متن کامل2 a Theory of Abstraction Using Abstraction
Korf Korf, 1979] provides a similar computational analysis of the beneets of abstraction for state space search. This analysis is essentially restricted to Abstrips abstractions as it ignores the cost of building abstract proof plans. Like us, Korf assumes no mapping failures, and a constant branching rate. Finally, in Giunchiglia & Walsh, 1989b] we analysed the theoretical and empirical proper...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Voices: A World Forum for Music Therapy
سال: 2021
ISSN: 1504-1611
DOI: 10.15845/voices.v21i1.3048